Colored Petri Net and Modeling of Logical Circuits and Sequential Control Systems
نویسندگان
چکیده
منابع مشابه
Markov Modeling of Delays in Networked Automation and Control Systems Using Colored Petri Net Models Simulation
This paper presents a two-step approach for modeling delays in Networked Automation and Control Systems (NAS/NCS). The approach combines the two well-known techniques: formal modeling using Colored Petri Nets (CPN) and mathematical modeling using Markov models to achieve this purpose. The first step is to build and simulate a structure-conserving hierarchical timed model for the whole NAS/NCS u...
متن کاملPetri Net Modeling for Parallel Bank ATM Systems
In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملColored Petri net modeling and simulation of signal transduction pathways.
Presented herein is a methodology for quantitatively analyzing the complex signaling network by resorting to colored Petri nets (CPN). The mathematical as well as Petri net models for two basic reaction types were established, followed by the extension to a large signal transduction system stimulated by epidermal growth factor (EGF) in an application study. The CPN models based on the Petri net...
متن کاملModeling and Simulation Firewall Using Colored Petri Net
In this paper the methodology of firewalled LAN models construction in the form of Colored Petri Net is introduced and model the ACL (Access Control List ) in firewalls as the first form of defense for the simulation and analysis of the model the Design/CPN Tools is used The components of the model are Firewall, Switch, Hub, Server and Workstation.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Society of Instrument and Control Engineers
سال: 1987
ISSN: 0453-4654
DOI: 10.9746/sicetr1965.23.1068